random access buffered iterator
Source: /avail/Avail/Data Abstractions/Iterators/Random Access Buffered Iterators
Categories: Data Abstractions, Iterators
Get the current position of the random access buffered iterator.
Position | Name | Type | Description | |
---|---|---|---|---|
Parameters | ||||
1 | anIterator | random access buffered iterator | A random access buffered iterator. | |
Returns | ⊤ | The iterator's current position, a natural number. | Raises | |
invalid-position exception | If position is not a valid memento. |
positionable iterator
Source: /avail/Avail/Data Abstractions/Iterators/Positionable Iterators
Categories: Data Abstractions, Iterators
Restrict the current position of the specified positionable iterator to the position variable's content type.
Position | Name | Type | Description | |
---|---|---|---|---|
Parameters | ||||
1 | anIterator | positionable iterator | A positionable iterator. | |
Returns | any | A position memento that represents the current position. |
positionable iterator
Source: /avail/Avail/Data Abstractions/Iterators/Positionable Iterators
Categories: Data Abstractions, Iterators
Answer the current position of the specified positionable iterator.
Position | Name | Type | Description | |
---|---|---|---|---|
Parameters | ||||
1 | anIterator | positionable iterator | A positionable iterator. | |
Returns | any | A position memento that represents the current position. |